let uncurry f p = f (fst p) (snd p)
